Study on Formal Information Fusion Framework with Object-oriented Technology
نویسندگان
چکیده
منابع مشابه
Object-Oriented Programming with Jeroo in the Information Technology Classroom
Jeroo is a tool that helps novice programmers learn fundamental concepts of object-oriented programming. Specifically, Jeroo focuses on objects, methods, and fundamental control structures. The tool is a self-contained environment in which students write and execute programs to control the actions of Jeroos and their interactions with their environment. Simple animation and source code highligh...
متن کاملFormal Object-Oriented Methods
Basing software construction on formal methods is a key issue when dealing with the production of reliable programs. Formal object-oriented methods combine the advantages of objectorientation—notably its powerful modelling capabilities—and those of formal methods—such as verifiability of program properties. Our tutorial reports on the state of the art in formal objectoriented methods. The issue...
متن کاملA Formal Framework for Improving Object - Oriented Software Testing
(a) Method-level (or unit) testing refers to the internal testing of an individual method in a class. Existing testing techniques for conventional programming languages [10-11] are fully applicable to method-level testing. (b) Methods and attributes make up a class. Class-level (or intra-class) testing refers to the testing of interactions among the components of an individual class. (c) Cooper...
متن کاملA Formal Specification Framework for Object-Oriented Distributed Systems
ÐIn this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object-oriented paradigm. In this hybrid approac...
متن کاملA Framework for Testing Object-Oriented Software Using Formal Specifications
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the speciication to a corresponding impleme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research Journal of Applied Sciences, Engineering and Technology
سال: 2014
ISSN: 2040-7459,2040-7467
DOI: 10.19026/rjaset.7.349